Extension by Conservation. Sikorski's Theorem
نویسندگان
چکیده
Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott’s notion of entailment relation, in which context we describe Sikorski’s extension theorem for finite Boolean algebras and turn it into a syntactical conservation result. As a byproduct, we facilitate proofs of several related classical principles.
منابع مشابه
Extension of Krull's intersection theorem for fuzzy module
In this article we introduce $mu$-filtered fuzzy module with a family of fuzzy submodules. It shows the relation between $mu$-filtered fuzzy modules and crisp filtered modules by level sets. We investigate fuzzy topology on the $mu$-filtered fuzzy module and apply that to introduce fuzzy completion. Finally we extend Krull's intersection theorem of fuzzy ideals by using concept $mu$-adic comp...
متن کاملExtension of the Douady-Hubbard's Theorem on Connectedness of the Mandelbrot Set to Symmetric Polynimials
متن کامل
An extension of the Wedderburn-Artin Theorem
In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.
متن کاملOn Black-Scholes equation; method of Heir-equations, nonlinear self-adjointness and conservation laws
In this paper, Heir-equations method is applied to investigate nonclassical symmetries and new solutions of the Black-Scholes equation. Nonlinear self-adjointness is proved and infinite number of conservation laws are computed by a new conservation laws theorem.
متن کاملAgrobiodiversity Conservation Techniques Adopted By Rural Farmers in Kware Local Government Area Nigeria
The study examined agrobiodiversity conservation techniques adopted by rural farmers in Kware Local Government Area, Nigeria. Multistage sampling procedure was used to arrive at 120 farmers from three selected villages. Forty (40) interview schedule were administered in each of the sampled villages. Descriptive statistics was used to analyse the primary data collected. Results of the findings s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1612.07345 شماره
صفحات -
تاریخ انتشار 2016